Amorphous Slicing of Extended Finite State Machines
نویسندگان
چکیده
منابع مشابه
Correctly Slicing Finite State Machines
We consider slicing extended finite state machines. Extended finite state machines (EFSMs) combine a finite state machine with a store and can model a range of computational phenomena, from high-level software to cyberphysical systems. They are essentially interactive and may be nondeterministic so standard techniques for slicing, developed for control flow graphs of programs with a functional ...
متن کاملCorrectness of Slicing Finite State Machines
We consider slicing of extended finite state machines. These may be nondeterministic and hence standard techniques for slicing, developed for control flow graphs, are not immediately applicable. In this paper we propose ways of expressing the semantic correctness of slicing. We shall demand that the sliced machine simulates the original machine, in that each “observable” step by the latter can ...
متن کاملLearning Extended Finite State Machines
We present an active learning algorithm for inferring extended finite state machines (EFSM)s, combining data flow and control behavior. Key to our learning technique is a novel learning model based on so-called tree queries. The learning algorithm uses the tree queries to infer symbolic data constraints on parameters, e.g., sequence numbers, time stamps, identifiers, or even simple arithmetic. ...
متن کاملFault Diagnosis in Extended Finite State Machines
In this paper, we propose a method for the derivation of an adaptive diagnostic test suite when the system specification and implementation are given in the form of an extended finite state machine. The method enables us to decide if it is possible to identify the faulty transitions in the system when faults have been detected in a system implementation. If this is possible, the method also ret...
متن کاملControl Dependence for Extended Finite State Machines
Though there has been nearly three decades of work on program slicing, there has been comparatively little work on slicing for state machines. One of the primary challenges that currently presents a barrier to wider application of state machine slicing is the problem of determining control dependence. We survey existing related definitions, introducing a new definition that subsumes one and ext...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 2013
ISSN: 0098-5589,1939-3520
DOI: 10.1109/tse.2012.72